English Computing Dictionary
◊ PURE LAMBDA-CALCULUS
pure lambda-calculus
{Lambda-calculus} with no constants, only functions expressed
as {lambda abstraction}s.
(1994-10-27)